Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science)
by Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich
ISBN 13: 9783319498119
Format: Paperback (736 pages) Publisher: Springer Published: 21 Dec 2016
Save for later
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)
by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
ISBN 13: 9783031081651
Format: Paperback (533 pages) Publisher: Springer Published: 16 Jun 2022